r? @varkor

(rust-highfive has picked a reviewer for you, use r? to override)

I don't know if adding the note is more helpful since it felt redundant. The error at the top already says so.

expected function, found `Empty2`

And we show

note: unit struct `Empty2` is not a function

If it errors with "expected function" means Empty2 is not a function right? Why do we need to repeat?

Thanks for the review @pickfire. I agree, I'll remove that redundant note. By doing so, the local variable mistake is also fixed.

@varkor This PR is now ready for review.

@rustbot label +S-waiting-on-author -S-waiting-on-review

@rustbot label -S-waiting-on-author +S-waiting-on-review

If you could address the last two comments and squash the commits, I think this is good to go!

There is another case that I don't think this handles:

const FOO: usize = 0;

fn main() {
    FOO();
}

(Playground)

Errors:

   Compiling playground v0.0.1 (/playground)
error[E0618]: expected function, found `usize`
 --> src/main.rs:4:5
  |
1 | const FOO: usize = 0;
  | --------------------- `usize` defined here
...
4 |     FOO();
  |     ^^^--
  |     |
  |     call expression requires function

error: aborting due to previous error

For more information about this error, try `rustc --explain E0618`.
error: could not compile `playground`

To learn more, run the command again with --verbose.

Perhaps the fix would be also checking for Res::Def where DefKind::ns is ValueNS?

@rustbot label +S-waiting-on-author -S-waiting-on-review

Sorry for taking a while, I was on vacation. @varkor, I believed I have addressed all your comments. @camelid I did the check that you have suggested but it does bring us back to the original problem, like this:

LL | struct Empty2;
   | -------------- is of type `Empty2`

It should say Empty2 defined here. Is there a better way to do this? Also, is there a way to get the name of a const to be able to say FOO has type usize instead of -- has type usize. Thanks

The job mingw-check failed! Check out the build log: (web) (plain)
Click to see the possible cause of the failure (guessed by this bot)

@pickfire, should I just change it to where it was before

This looks great @henryboisdequin, thanks! Could you squash your commits? Then it's good to go.

@varkor Commits are squashed ✅

@henryboisdequin: there are some commits that don't appear to be squashed. It's fine to separate different changes into separate commits, but when later commits are reverting changes in previous commits, it just creates churn (which makes tools like git blame less convenient). This change is small enough that it's readable as only one commit.

@varkor Done

@henryboisdequin: thanks for improving this diagnostic!

@bors r+

📌 Commit 7d85592713c495e4b746c06e78bd8f90ab6653cd has been approved by varkor

@varkor, @camelid Done ✅

@camelid: thanks for pointing that out.

@bors r+

📌 Commit d7cb66d has been approved by varkor